Multivariate linear recurrences and power series division
نویسندگان
چکیده
منابع مشابه
Multivariate linear recurrences and power series division
Bousquet-Mélou and Petkovšek investigated the generating functions of multivariate linear recurrences with constant coefficients. We will give a reinterpretation of their results by means of division theorems for formal power series, which clarifies the structural background and provides short, conceptual proofs. In addition, extending the division to the context of differential operators, the ...
متن کاملLinear Recurrences and Power Series Division
Bousquet-Mélou and Petkovšek investigated the generating functions of multivariate linear recurrences with constant coefficients. We will give a reinterpretation of their theory by means of division theorems for formal power series, which clarifies the structural background and provides short, conceptual proofs. In addition, extending the division to the context of differential operators, the c...
متن کاملLinear Recurrences, Linear Diierential Equations, and Fast Computation 1. Classical Algorithms concerning Formal Power Series
summary by Philippe Dumas] Linear recurrences and linear diierential equations with polynomial coeecients provide a nite representation of special functions or special sequences. Many algorithms are at our disposal; some give a way to automate the computation of recurrences or diierential equations; some provide solutions to recurrences or diierential equations; and some give the asymptotic beh...
متن کاملUniformization of multivariate power series
In this paper, we describe an algorithm for the “uniformization” of a multivariate power series. Let K[[T]] be the field of “grid-based power series” over a sufficiently large non archimedean “monomial group” (or value group) T, such as T = {t1 α1 tnα: α1, , αn ∈ R} with the lexicographical ordering on α1, , αn. We interpret power series f ∈K[[x1, , xn]] as functions K[[T]]→K[[T]]. On certain “...
متن کاملLinear Recurrences with Constant Coeecients: the Multivariate Case
While in the univariate case solutions of linear recurrences with constant coeecients have rational generating functions, we show that the multivariate case is much richer: even though initial conditions have rational generating functions, the corresponding solutions can have generating functions which are algebraic but not rational, D-nite but not algebraic, and even non D-nite.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 2012
ISSN: 0012-365X
DOI: 10.1016/j.disc.2012.08.009